g:GrpSig, s:(|g|). s SubGrp of g   

latex

Up	groups 1
Definitions of Statement	s SubGrp of g
Definitions	x f y, P  Q, P & Q, s SubGrp of g, t  T, , x:A. B(x)
Lemmas	grp sig wf, grp op wf, grp inv wf, grp car wf, grp id wf